Optimal. Leaf size=360 \[ \frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (c \left (d+\frac {e}{x}\right )^p\right )}{\sqrt {f} \sqrt {g}}+\frac {p \tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (\frac {2 \sqrt {f}}{\sqrt {f}-i \sqrt {g} x}\right )}{\sqrt {f} \sqrt {g}}-\frac {p \tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (\frac {2 \sqrt {f} \sqrt {g} (e+d x)}{\left (i d \sqrt {f}+e \sqrt {g}\right ) \left (\sqrt {f}-i \sqrt {g} x\right )}\right )}{\sqrt {f} \sqrt {g}}+\frac {i p \text {Li}_2\left (-\frac {i \sqrt {g} x}{\sqrt {f}}\right )}{2 \sqrt {f} \sqrt {g}}-\frac {i p \text {Li}_2\left (\frac {i \sqrt {g} x}{\sqrt {f}}\right )}{2 \sqrt {f} \sqrt {g}}-\frac {i p \text {Li}_2\left (1-\frac {2 \sqrt {f}}{\sqrt {f}-i \sqrt {g} x}\right )}{2 \sqrt {f} \sqrt {g}}+\frac {i p \text {Li}_2\left (1-\frac {2 \sqrt {f} \sqrt {g} (e+d x)}{\left (i d \sqrt {f}+e \sqrt {g}\right ) \left (\sqrt {f}-i \sqrt {g} x\right )}\right )}{2 \sqrt {f} \sqrt {g}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.30, antiderivative size = 360, normalized size of antiderivative = 1.00, number of steps
used = 12, number of rules used = 12, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.546, Rules used = {211, 2520,
12, 266, 6820, 4996, 4940, 2438, 4966, 2449, 2352, 2497} \begin {gather*} \frac {i p \text {PolyLog}\left (2,1-\frac {2 \sqrt {f} \sqrt {g} (d x+e)}{\left (\sqrt {f}-i \sqrt {g} x\right ) \left (e \sqrt {g}+i d \sqrt {f}\right )}\right )}{2 \sqrt {f} \sqrt {g}}+\frac {i p \text {PolyLog}\left (2,-\frac {i \sqrt {g} x}{\sqrt {f}}\right )}{2 \sqrt {f} \sqrt {g}}-\frac {i p \text {PolyLog}\left (2,\frac {i \sqrt {g} x}{\sqrt {f}}\right )}{2 \sqrt {f} \sqrt {g}}-\frac {i p \text {PolyLog}\left (2,1-\frac {2 \sqrt {f}}{\sqrt {f}-i \sqrt {g} x}\right )}{2 \sqrt {f} \sqrt {g}}+\frac {\text {ArcTan}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (c \left (d+\frac {e}{x}\right )^p\right )}{\sqrt {f} \sqrt {g}}-\frac {p \text {ArcTan}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (\frac {2 \sqrt {f} \sqrt {g} (d x+e)}{\left (\sqrt {f}-i \sqrt {g} x\right ) \left (e \sqrt {g}+i d \sqrt {f}\right )}\right )}{\sqrt {f} \sqrt {g}}+\frac {p \text {ArcTan}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (\frac {2 \sqrt {f}}{\sqrt {f}-i \sqrt {g} x}\right )}{\sqrt {f} \sqrt {g}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 211
Rule 266
Rule 2352
Rule 2438
Rule 2449
Rule 2497
Rule 2520
Rule 4940
Rule 4966
Rule 4996
Rule 6820
Rubi steps
\begin {align*} \int \frac {\log \left (c \left (d+\frac {e}{x}\right )^p\right )}{f+g x^2} \, dx &=\frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (c \left (d+\frac {e}{x}\right )^p\right )}{\sqrt {f} \sqrt {g}}+(e p) \int \frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right )}{\sqrt {f} \sqrt {g} \left (d+\frac {e}{x}\right ) x^2} \, dx\\ &=\frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (c \left (d+\frac {e}{x}\right )^p\right )}{\sqrt {f} \sqrt {g}}+\frac {(e p) \int \frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right )}{\left (d+\frac {e}{x}\right ) x^2} \, dx}{\sqrt {f} \sqrt {g}}\\ &=\frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (c \left (d+\frac {e}{x}\right )^p\right )}{\sqrt {f} \sqrt {g}}+\frac {(e p) \int \frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right )}{x (e+d x)} \, dx}{\sqrt {f} \sqrt {g}}\\ &=\frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (c \left (d+\frac {e}{x}\right )^p\right )}{\sqrt {f} \sqrt {g}}+\frac {(e p) \int \left (\frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right )}{e x}-\frac {d \tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right )}{e (e+d x)}\right ) \, dx}{\sqrt {f} \sqrt {g}}\\ &=\frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (c \left (d+\frac {e}{x}\right )^p\right )}{\sqrt {f} \sqrt {g}}+\frac {p \int \frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right )}{x} \, dx}{\sqrt {f} \sqrt {g}}-\frac {(d p) \int \frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right )}{e+d x} \, dx}{\sqrt {f} \sqrt {g}}\\ &=\frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (c \left (d+\frac {e}{x}\right )^p\right )}{\sqrt {f} \sqrt {g}}+\frac {p \tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (\frac {2 \sqrt {f}}{\sqrt {f}-i \sqrt {g} x}\right )}{\sqrt {f} \sqrt {g}}-\frac {p \tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (\frac {2 \sqrt {f} \sqrt {g} (e+d x)}{\left (i d \sqrt {f}+e \sqrt {g}\right ) \left (\sqrt {f}-i \sqrt {g} x\right )}\right )}{\sqrt {f} \sqrt {g}}-\frac {p \int \frac {\log \left (\frac {2}{1-\frac {i \sqrt {g} x}{\sqrt {f}}}\right )}{1+\frac {g x^2}{f}} \, dx}{f}+\frac {p \int \frac {\log \left (\frac {2 \sqrt {g} (e+d x)}{\sqrt {f} \left (i d+\frac {e \sqrt {g}}{\sqrt {f}}\right ) \left (1-\frac {i \sqrt {g} x}{\sqrt {f}}\right )}\right )}{1+\frac {g x^2}{f}} \, dx}{f}+\frac {(i p) \int \frac {\log \left (1-\frac {i \sqrt {g} x}{\sqrt {f}}\right )}{x} \, dx}{2 \sqrt {f} \sqrt {g}}-\frac {(i p) \int \frac {\log \left (1+\frac {i \sqrt {g} x}{\sqrt {f}}\right )}{x} \, dx}{2 \sqrt {f} \sqrt {g}}\\ &=\frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (c \left (d+\frac {e}{x}\right )^p\right )}{\sqrt {f} \sqrt {g}}+\frac {p \tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (\frac {2 \sqrt {f}}{\sqrt {f}-i \sqrt {g} x}\right )}{\sqrt {f} \sqrt {g}}-\frac {p \tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (\frac {2 \sqrt {f} \sqrt {g} (e+d x)}{\left (i d \sqrt {f}+e \sqrt {g}\right ) \left (\sqrt {f}-i \sqrt {g} x\right )}\right )}{\sqrt {f} \sqrt {g}}+\frac {i p \text {Li}_2\left (-\frac {i \sqrt {g} x}{\sqrt {f}}\right )}{2 \sqrt {f} \sqrt {g}}-\frac {i p \text {Li}_2\left (\frac {i \sqrt {g} x}{\sqrt {f}}\right )}{2 \sqrt {f} \sqrt {g}}+\frac {i p \text {Li}_2\left (1-\frac {2 \sqrt {f} \sqrt {g} (e+d x)}{\left (i d \sqrt {f}+e \sqrt {g}\right ) \left (\sqrt {f}-i \sqrt {g} x\right )}\right )}{2 \sqrt {f} \sqrt {g}}-\frac {(i p) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1-\frac {i \sqrt {g} x}{\sqrt {f}}}\right )}{\sqrt {f} \sqrt {g}}\\ &=\frac {\tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (c \left (d+\frac {e}{x}\right )^p\right )}{\sqrt {f} \sqrt {g}}+\frac {p \tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (\frac {2 \sqrt {f}}{\sqrt {f}-i \sqrt {g} x}\right )}{\sqrt {f} \sqrt {g}}-\frac {p \tan ^{-1}\left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (\frac {2 \sqrt {f} \sqrt {g} (e+d x)}{\left (i d \sqrt {f}+e \sqrt {g}\right ) \left (\sqrt {f}-i \sqrt {g} x\right )}\right )}{\sqrt {f} \sqrt {g}}+\frac {i p \text {Li}_2\left (-\frac {i \sqrt {g} x}{\sqrt {f}}\right )}{2 \sqrt {f} \sqrt {g}}-\frac {i p \text {Li}_2\left (\frac {i \sqrt {g} x}{\sqrt {f}}\right )}{2 \sqrt {f} \sqrt {g}}-\frac {i p \text {Li}_2\left (1-\frac {2 \sqrt {f}}{\sqrt {f}-i \sqrt {g} x}\right )}{2 \sqrt {f} \sqrt {g}}+\frac {i p \text {Li}_2\left (1-\frac {2 \sqrt {f} \sqrt {g} (e+d x)}{\left (i d \sqrt {f}+e \sqrt {g}\right ) \left (\sqrt {f}-i \sqrt {g} x\right )}\right )}{2 \sqrt {f} \sqrt {g}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.16, size = 373, normalized size = 1.04 \begin {gather*} \frac {\log \left (c \left (d+\frac {e}{x}\right )^p\right ) \log \left (\sqrt {-f}-\sqrt {g} x\right )+p \log \left (\frac {\sqrt {g} x}{\sqrt {-f}}\right ) \log \left (\sqrt {-f}-\sqrt {g} x\right )-p \log \left (\frac {\sqrt {g} (e+d x)}{d \sqrt {-f}+e \sqrt {g}}\right ) \log \left (\sqrt {-f}-\sqrt {g} x\right )-\log \left (c \left (d+\frac {e}{x}\right )^p\right ) \log \left (\sqrt {-f}+\sqrt {g} x\right )-p \log \left (\frac {f \sqrt {g} x}{(-f)^{3/2}}\right ) \log \left (\sqrt {-f}+\sqrt {g} x\right )+p \log \left (-\frac {\sqrt {g} (e+d x)}{d \sqrt {-f}-e \sqrt {g}}\right ) \log \left (\sqrt {-f}+\sqrt {g} x\right )-p \text {Li}_2\left (\frac {d \left (\sqrt {-f}-\sqrt {g} x\right )}{d \sqrt {-f}+e \sqrt {g}}\right )+p \text {Li}_2\left (\frac {d \left (\sqrt {-f}+\sqrt {g} x\right )}{d \sqrt {-f}-e \sqrt {g}}\right )-p \text {Li}_2\left (1+\frac {\sqrt {g} x}{\sqrt {-f}}\right )+p \text {Li}_2\left (1+\frac {f \sqrt {g} x}{(-f)^{3/2}}\right )}{2 \sqrt {-f} \sqrt {g}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.25, size = 0, normalized size = 0.00 \[\int \frac {\ln \left (c \left (d +\frac {e}{x}\right )^{p}\right )}{g \,x^{2}+f}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.55, size = 381, normalized size = 1.06 \begin {gather*} \frac {{\left (4 \, \arctan \left (\frac {g x}{\sqrt {f g}}\right ) e^{\left (-1\right )} \log \left (d + \frac {e}{x}\right ) - {\left ({\left (\pi - 2 \, \arctan \left (\frac {{\left (d^{2} x + d e\right )} \sqrt {f} \sqrt {g}}{d^{2} f + g e^{2}}, \frac {d g x e + g e^{2}}{d^{2} f + g e^{2}}\right )\right )} \log \left (g x^{2} + f\right ) - 4 \, \arctan \left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) + 2 \, \arctan \left (\frac {\sqrt {g} x}{\sqrt {f}}\right ) \log \left (\frac {d^{2} g x^{2} + 2 \, d g x e + g e^{2}}{d^{2} f + g e^{2}}\right ) + 2 i \, {\rm Li}_2\left (\frac {i \, \sqrt {g} x + \sqrt {f}}{\sqrt {f}}\right ) - 2 i \, {\rm Li}_2\left (-\frac {i \, \sqrt {g} x - \sqrt {f}}{\sqrt {f}}\right ) + 2 i \, {\rm Li}_2\left (\frac {d g x e + d^{2} f - {\left (i \, d^{2} x - i \, d e\right )} \sqrt {f} \sqrt {g}}{d^{2} f + 2 i \, d \sqrt {f} \sqrt {g} e - g e^{2}}\right ) - 2 i \, {\rm Li}_2\left (\frac {d g x e + d^{2} f + {\left (i \, d^{2} x - i \, d e\right )} \sqrt {f} \sqrt {g}}{d^{2} f - 2 i \, d \sqrt {f} \sqrt {g} e - g e^{2}}\right )\right )} e^{\left (-1\right )}\right )} p e}{4 \, \sqrt {f g}} - \frac {p \arctan \left (\frac {g x}{\sqrt {f g}}\right ) \log \left (d + \frac {e}{x}\right )}{\sqrt {f g}} + \frac {\arctan \left (\frac {g x}{\sqrt {f g}}\right ) \log \left (c {\left (d + \frac {e}{x}\right )}^{p}\right )}{\sqrt {f g}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\log {\left (c \left (d + \frac {e}{x}\right )^{p} \right )}}{f + g x^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\ln \left (c\,{\left (d+\frac {e}{x}\right )}^p\right )}{g\,x^2+f} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________